361. Relational and algebraic methods in computer science :
پدیدآورنده : Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
362. Reliable software technologies, Ada-Europe '96 :
پدیدآورنده : Alfred Strohmeier, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
رده :
QA76
.
73
.
A16
A447
1996
363. Reliable systems on unreliable networked platforms
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Software architecture ; Development ; Congresses. ; Computer systems ; Reliability ; Congresses. ;
364. Requirements Engineering with Use Cases. - a Basis for Software Development
پدیدآورنده : Regnell,Bjorn
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، System design -- Congresses,، System analysis -- Congresses,، Computer software -- Development -- Congresses
رده :
QA
76
.
9
.
R46
1999
365. Reuse in the Big Data Era :
پدیدآورنده : Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Reusability, Congresses.,Systems engineering, Congresses.,Computer software-- Reusability.,Systems engineering.
رده :
QA76
.
76
.
R47
I587
2019
366. Risks and Security of Internet and Systems :
پدیدآورنده : edited by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Internet-- Security measures, Congresses.,Artificial intelligence.,Artificial intelligence.,Coding theory & cryptology.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Computers.,Data encryption (Computer science),Expert systems-- knowledge-based systems.,Information retrieval.,Information technology: general issues.,Software engineering.,Software Engineering.
رده :
QA76
.
758
I58
2017
367. RoboCup 2017 :
پدیدآورنده : Hidehisa Akiyama, Oliver Obst, Claude Sammut, Flavio Tonidandel (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Robotics, Congresses.,Soccer-- Computer simulation, Congresses.,Artificial Intelligence.,Image Processing and Computer Vision.,Software Engineering.,Special Purpose and Application-Based Systems.,Systems and Data Security.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Artificial intelligence.,Computer security.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Image processing.,Robotics.,Soccer-- Computer simulation.,Software Engineering.,User interface design & usability.
رده :
TJ210
.
3
368. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
369. Scalable uncertainty management :
پدیدآورنده : Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
371. Second International IEEE Workshop on Software Evolvability :
پدیدآورنده : IEEE Computer Society.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Software maintenance, Congresses.,Computer Science.,Computer software-- Development.,Engineering & Applied Sciences.,Software maintenance.
رده :
QA76
.
76
.
D47
I322
2006
372. Second International Workshop on Software Engineering for Parallel and Distributed Systems: May 17-18, 1997, Boston, MA, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer software-- Development
رده :
QA
76
.
58
.
I5768
1997
373. Secure IT systems :
پدیدآورنده : Nils Gruschka (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Ethical & social aspects of IT.,Information retrieval.,Law-- Science & Technology.,Legal aspects of IT.,Network hardware.
رده :
QA76
.
9
.
A25
374. Security and trust management :
پدیدآورنده : Sokratis K. Katsikas, Cristina Alcaraz (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer networks-- Security measures.,Computer programming-- software development.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Programming-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information retrieval.,Information technology: general issues.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
S76
2018
375. Security protocols XXVI :
پدیدآورنده : Vashek Matyáš, Petr Švenda, Frank Stajano, Bruce Christianson, Jonathan Anderson (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Artificial intelligence.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
376. Security standardisation research :
پدیدآورنده : Cas Cremers, Anja Lehmann (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Information Technology.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A25
377. Sensor systems and software :
پدیدآورنده : Stephen Hailes, Sabrina Sicari, George Roussos (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Wireless sensor networks, Congresses.,Computer Applications.,Computer Communication Networks.,Computer Science.,Computer Systems Organization and Communication Networks.,Computers and Society.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet),Informatique.,Wireless sensor networks.
رده :
TK7872
.
D48
S38
2010
378. Serious games :
پدیدآورنده : Stefan Göbel, Augusto Garcia-Agundez, Thomas Tregel, Minhua Ma, Jannicke Baalsrud Hauge, Manuel Oliveira, Tim Marsh, Polona Caserman (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer games-- Design, Congresses.,Educational games, Congresses.,Game theory, Congresses.,Artificial intelligence.,Computer games-- Design.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- User Interfaces.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,Game theory.,Graphics programming.,Image processing.,Society & social sciences.,User interface design & usability.
رده :
QA76
.
76
.
C672
J65
2017eb
379. Service-oriented and cloud computing :
پدیدآورنده : Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing, Congresses,Service-oriented architecture (Computer science), Congresses
رده :
TK5105
.
5828
.
E86
2013
380. Services -- SERVICES 2019 :
پدیدآورنده : Yunni Xia, Liang-Jie Zhang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems, Congresses.,Computer systems.
رده :
QA75
.
5
